由定义, 第一点和第三点满足, 下证第二点.

从而为上鞅.